Ingredients
Incarnations
Properties
Universal aspects
Classification
Induced theorems
…
In higher category theory
homotopy hypothesis-theorem
delooping hypothesis-theorem
stabilization hypothesis-theorem
The Yoneda lemma for tricategories is a version of the Yoneda lemma that applies to tricategories, the most common algebraic sort of weak 3-category (Buhné, Thrm 2.12).
Created on April 23, 2020 at 09:37:48. See the history of this page for a list of all contributions to it.